OpenRuleBench is a large benchmark suite for rule engines, which includesdeductive databases. We previously proposed a translation of Datalog to C++based on a method that "pushes" derived tuples immediately to places where theyare used. In this paper, we report performance results of variousimplementation variants of this method compared to XSB, YAP and DLV. We studyonly a fraction of the OpenRuleBench problems, but we give a quite detailedanalysis of each such task and the factors which influence performance. Theresults not only show the potential of our method and implementation approach,but could be valuable for anybody implementing systems which should be able toexecute tasks of the discussed types.
展开▼